欢迎光临中图网 请 | 注册
搜索
搜索全部
  • 搜索全部
  • 书名
  • 作者
  • 出版社
  • ISBN
高级搜索
为了活下去的思想吴昌硕画选历史的驴友饥饿好的爱情,要有敢要的底气
书香拂槛初夏天|满5本折上7折
中图网
>
关于“棉棉”检索到   共2种现货商品
>
出版社：广西师范大学出版社
清除筛选
分类：
展开
售价：
￥
---
￥
确定
折扣：
---
确定
搜索
搜索全部
  • 搜索全部
  • 书名
  • 作者
  • 出版社
  • ISBN
  • 结构推理

    结构推理

    冯棉  /  2015-03-01  /  广西师范大学出版社
    ¥33.3(4.9折)定价:¥68.0

    《结构推理》研究命题逻辑的结构推理，分为四章：一、经典命题逻辑的结构推理；二、直觉主义命题逻辑的结构推理；三、相干命题逻辑及其线性片段的结构推理；四、和正结合演算的结构推理。内容涉及多种结构推理系统的建构，结构推理系统与相应公理系统的等价性，在语义理论的基础上，证明了各个结构推理系统的可靠性与完全性，并考察了正结合演算结构推理系统BL-D的可判定性。　　《结构推理》是教育部人文社会科学重点研究基地重大项目“结构推理及其应用研究”的

    加入购物车 收藏
  • 结构推理(第2版)

    结构推理(第2版)

    冯棉  /  2020-07-01  /  广西师范大学出版社
    ¥47.6(7折)定价:¥68.0

    本书研究命题逻辑的结构推理，涉及多种结构推理系统的建构，结构推理系统与相应公理系统的等价性，在语义理论的基础上，证明了各个结构推理系统的可靠性与接近性，并考察了正结合演算结构推理系统BL-D的可判定性，是探究这一逻辑前沿领域的力作...

    加入购物车 收藏

五星书

编辑推荐

新手上路
新用户指引
注册用户 更改注册信息
购物常见问题
关于特价书的常见问题
购买问题
订单跟踪
付款方式
账户余额  申请提现
配送方式及费用、范围
集团购买
售后服务
退换货流程
投诉与建议
特色服务
会员等级与书币
中图网书馨卡
邀请好友购买返10元礼包
其他信息
本站简介
联系我们
招聘英才
网站联盟
友情链接
微信公众号
中图网微信
中图网微博
中图网微博
手机中图网
手机中图网
中图网
诚信认证 电子商务诚信单位认证

京ICP备09013606号-3京信市监发[2002]122号海淀公安分局备案编号：1101083394

营业执照出版物经营许可证 京出发京批字第直110071

返回顶部